home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / properties / README.txt
Text File  |  2013-07-28  |  370b  |  8 lines
  1. SITE PROPERTIES
  2.  
  3. Any property files (with extension .props) placed in this directory will
  4. be loaded by jEdit before the user-specific properties. On multi-user
  5. machines, this can be used to enforce a site-wide key binding or color
  6. scheme, for example. Just copy the relevant entries from your user
  7. properties file into a new .props file, and place it in this directory.
  8.